$\forall$$r$, $s$:$\mathbb{Q}$. {-}($s$ {-} $r$) = ($r$ {-} $s$) $\in$ $\mathbb{Q}$